#include "linux/clocksource.h"


void time_init(void)
{
    clocksource_probe();
}
